package hu.bme.mit.bpel.incquery.validation.constraints;

import org.eclipse.viatra2.emf.incquery.runtime.api.IMatcherFactory;
import org.eclipse.viatra2.emf.incquery.runtime.api.IncQueryMatcher;
import org.eclipse.viatra2.emf.incquery.validation.core.Constraint;

import patternmatchers.bpelqueries.FindUnreadVariableMatcher;
import signatures.bpelqueries.FindUnreadVariableSignature;

public class VariableConstraint extends Constraint<FindUnreadVariableSignature> {

	@Override
	public String getMessage() {
		return "The variable is never read.";
	}

	@Override
	public IMatcherFactory<FindUnreadVariableSignature, ? extends IncQueryMatcher<FindUnreadVariableSignature>> matcherFactory() {
		return FindUnreadVariableMatcher.FACTORY;
	}

}
